// 字符串扩展
// {
//   let str = '"\u0061"';
//   console.log(str);
// }

{
  let str = '\uD842\uDFB7'; //𠮷
  let a = '\u{20BB7}'; //₻7
  console.log(str);
  console.log(a);
}
